Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
81	Tight Bounds for Clock Synchronization CHRISTOPH LENZEN, THOMAS LOCHER, AND ROGER WATTENHOFER ETH Zurich, Zurich, Switzerland Abstract. We present a novel clock synchronization algorithm and prove tight upper and lower b Add to Reading List Source URL: disco.ethz.ch Language: English - Date: 2014-09-26 08:36:29 Clocks Electrical engineering Synchronization Clock signal Clock skew Mathematics Computing Clock synchronization Clock Flow network Algorithm Distributed computing
82	Monoidal Indeterminates and Categories of Possible WorldsI C. Hermida, R. D. Tennent∗ School of Computing, Queen’s University, Kingston, Canada K7L 3N6 Abstract Given any symmetric monoidal category C, a small symmet Add to Reading List Source URL: maggie.cs.queensu.ca Language: English - Date: 2011-12-16 22:41:04 Category theory Algebra Mathematics Monoidal categories Monoid Enriched category Adjoint functors Cartesian closed category Coproduct Bicategory Functor Sheaf
83	California State University STEM Teacher and Researcher (STAR) Program Media Release Form I hereby consent without further consideration or compensation to the use (full or in part) of all images taken of me and/or reco Add to Reading List Source URL: starteacherresearcher.org Language: English - Date: 2016-01-25 12:40:12 Education Education policy Experiential learning Science and technology Science education Science technology engineering and mathematics Email California State University San Luis Obispo California Computing Science
84	QCSP on partially reflexive forests Barnaby Martin? School of Engineering and Computing Sciences, Durham University Science Labs, South Road, Durham, DH1 3LE, UK Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-04-01 20:03:12 Graph theory Mathematics Computational complexity theory Morphisms Graph coloring Tree Reduction Isomorphism Homomorphism Grushko theorem
85	MANAGING THE DATA DELUGE: UNDERSTANDING SCIENTISTS NEED FOR DATA CURATION SERVICES JEANINE M. SCARAMOZZINO, COLLEGE OF SCIENCE AND MATHEMATICS LIBRARIAN MARISA RAMIREZ, DIGITAL REPOSITORY LIBRARIAN Add to Reading List Source URL: www.carl-acrl.org Language: English - Date: 2010-06-25 14:28:39 Information Computing Data management Knowledge representation Digital libraries Open access Open science Data curation Digital curation Data management plan Data sharing Open data
86	COURSES IN ENGLISH AT THE FACULTY OF MATHEMATICS AND COMPUTER SCIENCE UNIVERSITY OF LODZ WINTER SEMESTER Add to Reading List Source URL: erasmus.math.uni.lodz.pl Language: English - Date: 2015-10-13 07:15:16 Computing Science and technology Software engineering Algorithm Mathematical logic Theoretical computer science Object-relational database Programming language Computer science Object-oriented programming Artificial neural network Database
87	Synchronous Counting and Computational Algorithm Design Danny Dolev School of Engineering and Computer Science, The Hebrew University of Jerusalem Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-09-16 05:51:42 Computing Edsger W. Dijkstra Mathematics Computational complexity theory Theoretical computer science Distributed computing Consensus Algorithm Randomized algorithm Distributed algorithm Counter Leader election
88	Zips: Mining Compressing Sequential Patterns in Streams Hoang Thanh Lam Toon Calders Jie Yang Add to Reading List Source URL: poloclub.gatech.edu Language: English - Date: 2013-07-08 06:02:58 Computing Mathematics Computer programming Data compression LZ77 and LZ78 Lossless compression Code Algorithm Huffman coding Trie String LempelZivWelch
89	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
90	Design, Implementation, and Processing Support of MeML David Chiu Yi Zhou Xiao Zou Paul S. Wang Institute for Computational Mathematics Kent State University Kent, Ohio, USA Add to Reading List Source URL: icm.mcs.kent.edu Language: English - Date: 2003-07-24 15:03:35 Computing Markup languages MathML XSLT XSL DocBook XHTML HTML Processing Instruction Document type definition Standard Generalized Markup Language OpenMath

UPDATE